Reachability of linear hybrid systems described by the general model
نویسنده
چکیده
The reachability of standard and positive hybrid linear systems described by the general model is addressed. Necessary and sufficient conditions for the reachability of the standard general model are established. Sufficient condition is given for the reachability of positive hybrid system described by the general model. The considerations are illustrated by numerical examples.
منابع مشابه
Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملHybrid modelling of dynamic systems by hybrid automatons and analysis of reachability of states in view of diagnosis
The strong interaction between the discrete dynamic and the one continue is now seriously taken into account in the model. These models newborn so-called hybrid models describe at one time the two dynamics and are already used as well in control systems as in analysis. The methods and present tools of the dependability of systems are either of quantitative order or qualitative one. The avenue o...
متن کاملSafety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions
In this paper, a novel methodology for analysis of piecewise linear hybrid systems based on discrete abstractions of the continuous dynamics is presented. An important characteristic of the approach is that the available control inputs are taken into consideration in order to simplify the continuous dynamics. Control specifications such as safety and reachability specifications are formulated i...
متن کاملWhich Methodology is Better for Combining Linear and Nonlinear Models for Time Series Forecasting?
Both theoretical and empirical findings have suggested that combining different models can be an effective way to improve the predictive performance of each individual model. It is especially occurred when the models in the ensemble are quite different. Hybrid techniques that decompose a time series into its linear and nonlinear components are one of the most important kinds of the hybrid model...
متن کامل